LAPIC model is different on x86 and ia64, so make irq-pending
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 14 Dec 2005 18:44:42 +0000 (19:44 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 14 Dec 2005 18:44:42 +0000 (19:44 +0100)
commitb39c4945b651ad675916f2313140457491c6b8f1
tree41148d408f10e19445f8fee043d4f8a79cb42e4d
parentd8d3bd91d799fbde8ab4b8296dde4da01e99f55f
LAPIC model is different on x86 and ia64, so make irq-pending
notification arch specific.

Signed-off-by Kevin Tian <Kevin.tian@intel.com>
Signed-off-by Yunhong Jiang <Yunhong.jiang@intel.com>
xen/arch/ia64/vmx/vlsapic.c
xen/arch/x86/dm/vmx_vioapic.c
xen/include/asm-ia64/vmx_platform.h
xen/include/asm-ia64/vmx_vcpu.h
xen/include/asm-x86/vmx_vlapic.h